Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
131	Field Theoretical Approach to the Conservation of Identity of a Complex Network System Masahiro Agu Fukushima National College of Technology, 30 Nagao, Kamiarakawa, Taira, Iwaki, Fukushima, , Japan Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Partial differential equations Probability current Magnetic potential Linear temporal logic Wightman axioms Physics Quantum mechanics Quantum field theory
132	Integer Point Sets Minimizing Average Pairwise ℓ1 Distance: What is the Optimal Shape of a Town? Erik D. Demaine∗ S´ andor P. Fekete† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:35 Operations research Optimal control Systems engineering Systems theory Systems science Mathematics Linear temporal logic Dynamic programming Equations Mathematical optimization
133	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
134	GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE PRELIMINARY EXAMINATION There are eight questions. Partial credit may be assigned for substantially correct partially worked solutions. To pass, you need a score of roughly f Add to Reading List Source URL: logic.berkeley.edu Language: English Model theory Structure Constructible universe Symbol Peano axioms Linear temporal logic Forcing Mathematical logic Mathematics Logic
135	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
136	Test functions, distributions, and Sobolev’s lemma Jordan Bell Department of Mathematics, University of Toronto May 22, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-05-22 16:16:17 Mathematical analysis Mathematics Spectral theory of ordinary differential equations Linear temporal logic Constructible universe Locally convex topological vector space Operator theory
137	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:14 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
138	Orbital stability for NLS Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Let n = 3, and take p < 43 . Some of the material we will present for general Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:52:33 Temporal logic Μ operator Operator theory Differential geometry Linear temporal logic
139	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
140	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics

UPDATE